<?php

class With_Other_Punctuation {}
